Challenging software developers: dialectic as a foundation for security assurance techniques
نویسندگان
چکیده
منابع مشابه
Software Assurance for Security
Computer security is taking on new importance as electronic commerce metamorphoses from hype to reality. Large and small businesses alike are reinventing themselves as e-commerce players. The implications for computer security practice are immense. When bits count as money, protecting bits becomes as important as any other aspect of running a successful business. One essential element shared by...
متن کاملThe Impact of Quality Assurance Certification on Australian Software Developers
This paper draws on existing literature and research on software development process improvement, and related fields, to explore the impact of quality assurance (QA) certification on the Australian software development industry. Recently, many developers have committed resources to achieve certification in response to government purchasing policies favouring standards-certified suppliers, but c...
متن کاملMeasures and Techniques for Software Quality Assurance
This report comprises chapters 2 to 5 of a report prepared for NASA on the applica-tion of software quality and assurance techniques to AI software [105]. The chaptersincluded here provide a review of software quality assurance techniques as appliedto conventional software. The techniques covered include software reliability andmetrics, static and dynamic testing, and formal...
متن کاملCollaborative Security Code-Review Towards Aiding Developers Ensure Software-Security
Humans make mistakes, and software programmers are no exception. Software vulnerabilities are discovered everyday; close to 8,000 vulnerabilities were reported in 2014, and almost 2,500 were reported in the first four months of 2015 [9]. Microsoft Security Response Centre defines software vulnerabilities as a security exposure that results from a product weakness that the product developer did ...
متن کاملIdeas for Security Assurance in Security Critical Software using Modelica
Due to the increasing number of vulnerabilities in software systems and customers’ need to trust the producers’ development process, third party security evaluations, such as Common Criteria (CC), are today commonly used to provide assurance of security critical software. Modelica is a modern, strongly typed, declarative, and object-oriented language for modeling and simulation of complex syste...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Cybersecurity
سال: 2020
ISSN: 2057-2085,2057-2093
DOI: 10.1093/cybsec/tyaa007